Aczel, Peter : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (49)
Les plus populaires
Liste
- Liste
- Tableau

1

[Studies in Logic and the Foundations of Mathematics] The Kleene Symposium Volume 101 || Frege Structures and the Notions of Proposition, Truth and Set

Année:

1980

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1980

2

On the axiom and other separation properties in constructive point-free and point-set topology

Peter Aczel, Giovanni Curi

Journal:

Annals of Pure and Applied Logic

Année:

2010

Langue:

english

Fichier:

PDF, 623 KB

english, 2010

3

[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '77 Volume 96 || The Type Theoretic Interpretation of Constructive Set Theory

Année:

1978

Langue:

english

Fichier:

PDF, 650 KB

english, 1978

4

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A short course in ordinal analysis

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 2.19 MB

english, 1993

5

Aspects of general topology in constructive set theory

Journal:

Annals of Pure and Applied Logic

Année:

2006

Langue:

english

Fichier:

PDF, 317 KB

english, 2006

6

The Generalised Type-Theoretic Interpretation of Constructive Set Theory

Nicola Gambino and Peter Aczel

Journal:

Journal of Symbolic Logic

Année:

2006

Langue:

english

Fichier:

PDF, 2.27 MB

english, 2006

7

[Studies in Logic and the Foundations of Mathematics] HANDBOOK OF MATHEMATICAL LOGIC Volume 90 || An Introduction to Inductive Definitions

Année:

1977

Langue:

english

Fichier:

PDF, 1.84 MB

english, 1977

8

Relationship between glomerular filtration rate and the adipokines adiponectin, resistin and leptin in coronary patients with predominantly normal or mildly impaired renal function

Lorenz Risch, Christoph Saely, Guenter Hoefle, Philipp Rein, Peter Langer, Ghazaleh Gouya, Thomas Marte, Stefan Aczel, Heinz Drexel

Journal:

Clinica Chimica Acta

Année:

2007

Langue:

english

Fichier:

PDF, 162 KB

english, 2007

9

The Russell–Prawitz modality

Journal:

Mathematical Structures in Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 347 KB

english, 2001

10

The generalised type-theoretic interpretation of constructive set theory

Gambino, Nicola, Aczel, Peter

Journal:

Journal of Symbolic Logic

Année:

2006

Langue:

english

Fichier:

PDF, 1.89 MB

english, 2006

11

Generalized geometric theories and set-generated classes

ACZEL, PETER, ISHIHARA, HAJIME, NEMOTO, TAKAKO, SANGU, YASUSHI

Journal:

Mathematical Structures in Computer Science

Année:

2015

Langue:

english

Fichier:

PDF, 151 KB

english, 2015

12

Binary Refinement Implies Discrete Exponentiation

Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren and Peter Schuster

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 877 KB

english, 2006

13

[Studies in Logic and the Foundations of Mathematics] Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science Volume 114 || The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions

Année:

1986

Langue:

english

Fichier:

PDF, 1.07 MB

english, 1986

14

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Fragments of Kripke-Platek set theory with infinity

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 921 KB

english, 1993

15

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A simplified version of local predicativity

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1993

16

The Relation Reflection Scheme

Journal:

Mathematical Logic Quarterly

Année:

2008

Langue:

english

Fichier:

PDF, 115 KB

english, 2008

17

Stability of adamantane to donor liquefaction conditions: implications toward the structure of coal

Thomas Aczel, Martin L. Gorbaty, Peter S. Maa, Richard H. Schlosberg

Journal:

Année:

1975

Langue:

english

Fichier:

PDF, 141 KB

english, 1975

18

Stability of adamantane and its derivatives to coal-liquefaction conditions, and its implications toward the organic structure of coal

Thomas Aczel, Martin L. Gorbaty, Peter S. Maa, Richard H. Schlosberg

Journal:

Année:

1979

Langue:

english

Fichier:

PDF, 283 KB

english, 1979

19

Ion chromatographic separation of selenite and selenate using a polyanionic eluent

Pavel Janoš, Peter Aczel

Journal:

Journal of Chromatography A

Année:

1996

Langue:

english

Fichier:

PDF, 506 KB

english, 1996

20

Infinite trees and completely iterative theories: a coalgebraic view

Peter Aczel, Jiřı́ Adámek, Stefan Milius, Jiřı́ Velebil

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 533 KB

english, 2003

21

A Coalgebraic View of Infinite Trees and Iteration

Peter Aczel, Jiří Adámek, Jiří Velebil

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 255 KB

english, 2001

22

Paths in Kleene's0

Peter H. G. Aczel

Journal:

Archive for Mathematical Logic

Année:

1968

Langue:

english

Fichier:

PDF, 181 KB

english, 1968

23

Binary Refinement Implies Discrete Exponentiation

Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster

Journal:

Année:

2006

Langue:

english

Fichier:

PDF, 165 KB

english, 2006

24

Evaluation of two fully automated novel enzyme-linked immunosorbent assays for the determination of human adiponectin in serum

Lorenz Risch, Guenter Hoefle, Christoph Saely, Sabine Berchthold, Martina Weber, Ghazaleh Gouya, Philipp Rein, Peter Langer, Thomas Marte, Stefan Aczel, Heinz Drexel

Journal:

Clinica Chimica Acta

Année:

2006

Langue:

english

Fichier:

PDF, 248 KB

english, 2006

25

Low serum adiponectin is independently associated with both the metabolic syndrome and angiographically determined coronary atherosclerosis

Christoph H. Saely, Lorenz Risch, Guenter Hoefle, Philipp Rein, Axel Muendlein, Thomas Marte, Stefan Aczel, Peter Langer, Heinz Drexel

Journal:

Clinica Chimica Acta

Année:

2007

Langue:

english

Fichier:

PDF, 189 KB

english, 2007

26

Key role of postchallenge hyperglycemia for the presence and extent of coronary atherosclerosis: An angiographic study

Christoph H. Saely, Heinz Drexel, Harald Sourij, Stefan Aczel, Heidrun Jahnel, Robert Zweiker, Peter Langer, Thomas Marte, Guenter Hoefle, Werner Benzer, Thomas C. Wascher

Journal:

Atherosclerosis

Année:

2008

Langue:

english

Fichier:

PDF, 119 KB

english, 2008

27

Are There Enough Injective Sets?

Peter Aczel, Benno van den Berg, Johan Granström, Peter Schuster

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 211 KB

english, 2013

28

Rudimentary and arithmetical constructive set theory

Journal:

Annals of Pure and Applied Logic

Année:

2013

Langue:

english

Fichier:

PDF, 277 KB

english, 2013

29

Describing Ordinals Using Functionals of Transfinite Type

Journal:

Journal of Symbolic Logic

Année:

1972

Langue:

english

Fichier:

PDF, 1.02 MB

english, 1972

30

[IEEE 2009 Fourth International Conference on Internet and Web Applications and Services - Venice/Mestre, Italy (2009.05.24-2009.05.28)] 2009 Fourth International Conference on Internet and Web Applications and Services - Similarity Management in Phonebook-Centric Social Networks

Ekler, Péter, Ivánfi, Zoltán, Aczél, Kristóf

Année:

2009

Langue:

english

Fichier:

PDF, 322 KB

english, 2009

31

[Studies in Logic and the Foundations of Mathematics] The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout Volume 110 || The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles

Année:

1982

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1982

32

The Metabolic Syndrome, Insulin Resistance, and Cardiovascular Risk in Diabetic and Nondiabetic Patients

Saely, Christoph H., Aczel, Stefan, Marte, Thomas, Langer, Peter, Hoefle, Guenter, Drexel, Heinz

Journal:

Journal of Clinical Endocrinology & Metabolism

Année:

2005

Langue:

english

Fichier:

PDF, 149 KB

english, 2005

33

[Studies in Logic and the Foundations of Mathematics] Proceedings of the Third Scandinavian Logic Symposium Volume 82 || Quantifiers; Games and Inductive Definitions

Année:

1975

Langue:

english

Fichier:

PDF, 549 KB

english, 1975

34

[Studies in Logic and the Foundations of Mathematics] Generalized Recursion Theory - Proceedings of the 1972 Oslo Symposium Volume 79 || Recursion in the Superjump

Année:

1974

Langue:

english

Fichier:

PDF, 1.44 MB

english, 1974

35

Registered Replication Report: Dijksterhuis and van Knippenberg (1998)

O’Donnell, Michael, Nelson, Leif D., Ackermann, Evi, Aczel, Balazs, Akhtar, Athfah, Aldrovandi, Silvio, Alshaif, Nasseem, Andringa, Ronald, Aveyard, Mark, Babincak, Peter, Balatekin, Nursena, Baldwin,

Journal:

Perspectives on Psychological Science

Année:

2018

Langue:

english

Fichier:

PDF, 715 KB

english, 2018

36

Quantifying Support for the Null Hypothesis in Psychology: An Empirical Investigation

Aczel, Balazs, Palfi, Bence, Szollosi, Aba, Kovacs, Marton, Szaszi, Barnabas, Szecsi, Peter, Zrubka, Mark, Gronau, Quentin F., van den Bergh, Don, Wagenmakers, Eric-Jan

Journal:

Advances in Methods and Practices in Psychological Science

Année:

2018

Langue:

english

Fichier:

PDF, 382 KB

english, 2018

37

Dissection of Subclonal Evolution by Temporal Mutation Profiling in Chronic Lymphocytic Leukemia Patients Treated With Ibrutinib

Gángó, Ambrus, Alpár, Donát, Galik, Bence, Marosvári, Dóra, Kiss, Richárd, Fésüs, Viktória, Aczél, Dóra, Eyüpoglu, Ediz, Nagy, Noémi, Nagy,, Krizsán, Szilvia, Reiniger, Lilla, Farkas, Péter, Kozma, A

Journal:

International Journal of Cancer

Année:

2019

Langue:

english

Fichier:

PDF, 2.32 MB

english, 2019

38

Dissection of Subclonal Evolution by Temporal Mutation Profiling in Chronic Lymphocytic Leukemia Patients Treated with Ibrutinib

Gángó, Ambrus, Alpár, Donát, Galik, Bence, Marosvári, Dóra, Kiss, Richárd, Fésüs, Viktória, Aczél, Dóra, Nagy, Noémi, Nagy, Ákos, Krizsán, Szilvia, Reiniger, Lilla, Farkas, Péter, Kozma, András, Ádám,

Journal:

Clinical Lymphoma Myeloma and Leukemia

Année:

2019

Langue:

english

Fichier:

PDF, 74 KB

english, 2019

39

Dissection of Subclonal Evolution by Temporal Mutation Profiling in Chronic Lymphocytic Leukemia Patients Treated with Ibrutinib

Gángó, Ambrus, Alpár, Donát, Galik, Bence, Marosvári, Dóra, Kiss, Richárd, Fésüs, Viktória, Aczél, Dóra, Nagy, Noémi, Nagy, Ákos, Krizsán, Szilvia, Reiniger, Lilla, Farkas, Péter, Kozma, András, Ádám,

Journal:

Clinical Lymphoma Myeloma and Leukemia

Année:

2019

Fichier:

PDF, 74 KB

2019

40

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Basic proof theory

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 875 KB

english, 1993

41

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Reflecting the semantics of reflected proof

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1993

42

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Proofs as Programs

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.28 MB

english, 1993

43

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Programme of lectures

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 67 KB

english, 1993

44

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Provable computable selection functions on abstract structures

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.25 MB

english, 1993

45

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Logics for termination and correctness of functional programs, II. Logics of strength PRA

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 1.01 MB

english, 1993

46

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || A note on bootstrapping intuitionistic bounded arithmetic

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 787 KB

english, 1993

47

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Preface

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 68 KB

english, 1993

48

Proof Theory (A selection of papers from the Leeds Proof Theory Programme 1990) || Termination orderings and complexity characterisations

Aczel, Peter, Simmons, Harold, Wainer, Stanley S.

Année:

1993

Langue:

english

Fichier:

PDF, 744 KB

english, 1993

49

Many Labs 5: Registered Replication of Vohs and Schooler (2008), Experiment 1

Buttrick, Nicholas R., Aczel, Balazs, Aeschbach, Lena F., Bakos, Bence E., BrÃ¼hlmann, Florian, Claypool, Heather M., HÃ¼ffmeier, Joachim, Kovacs, Marton, Schuepfer, Kurt, Szecsi, Peter, Szuts, Attila

Journal:

Advances in Methods and Practices in Psychological Science

Année:

2020

Fichier:

PDF, 273 KB

2020